Specification and Design of a MP3 Audio Decoder

In an effort to understand, experience and prove the benefits of automated SoC design, this report describes the specification modeling, design space exploration and implementation of a real world example using SpecC based System on Chip Environment (SCE). The report covers a complete description of developing the specification model of a MPEG-1 Layer 3 (MP3) audio decoder in SpecC language and the subsequent design space exploration and implementation using SCE. This report also attempts to improve the SoC design process by identifying the tasks in specification modeling that can be automated.